Optimal. Leaf size=94 \[ \frac{d x \left (17-5 x^2\right )}{72 \left (x^4-5 x^2+4\right )}+\frac{19}{432} d \tanh ^{-1}\left (\frac{x}{2}\right )-\frac{1}{54} d \tanh ^{-1}(x)+\frac{e \left (5-2 x^2\right )}{18 \left (x^4-5 x^2+4\right )}+\frac{1}{27} e \log \left (1-x^2\right )-\frac{1}{27} e \log \left (4-x^2\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0518091, antiderivative size = 94, normalized size of antiderivative = 1., number of steps used = 12, number of rules used = 9, integrand size = 18, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.5, Rules used = {1673, 12, 1092, 1166, 207, 1107, 614, 616, 31} \[ \frac{d x \left (17-5 x^2\right )}{72 \left (x^4-5 x^2+4\right )}+\frac{19}{432} d \tanh ^{-1}\left (\frac{x}{2}\right )-\frac{1}{54} d \tanh ^{-1}(x)+\frac{e \left (5-2 x^2\right )}{18 \left (x^4-5 x^2+4\right )}+\frac{1}{27} e \log \left (1-x^2\right )-\frac{1}{27} e \log \left (4-x^2\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 1673
Rule 12
Rule 1092
Rule 1166
Rule 207
Rule 1107
Rule 614
Rule 616
Rule 31
Rubi steps
\begin{align*} \int \frac{d+e x}{\left (4-5 x^2+x^4\right )^2} \, dx &=\int \frac{d}{\left (4-5 x^2+x^4\right )^2} \, dx+\int \frac{e x}{\left (4-5 x^2+x^4\right )^2} \, dx\\ &=d \int \frac{1}{\left (4-5 x^2+x^4\right )^2} \, dx+e \int \frac{x}{\left (4-5 x^2+x^4\right )^2} \, dx\\ &=\frac{d x \left (17-5 x^2\right )}{72 \left (4-5 x^2+x^4\right )}-\frac{1}{72} d \int \frac{-1+5 x^2}{4-5 x^2+x^4} \, dx+\frac{1}{2} e \operatorname{Subst}\left (\int \frac{1}{\left (4-5 x+x^2\right )^2} \, dx,x,x^2\right )\\ &=\frac{d x \left (17-5 x^2\right )}{72 \left (4-5 x^2+x^4\right )}+\frac{e \left (5-2 x^2\right )}{18 \left (4-5 x^2+x^4\right )}+\frac{1}{54} d \int \frac{1}{-1+x^2} \, dx-\frac{1}{216} (19 d) \int \frac{1}{-4+x^2} \, dx-\frac{1}{9} e \operatorname{Subst}\left (\int \frac{1}{4-5 x+x^2} \, dx,x,x^2\right )\\ &=\frac{d x \left (17-5 x^2\right )}{72 \left (4-5 x^2+x^4\right )}+\frac{e \left (5-2 x^2\right )}{18 \left (4-5 x^2+x^4\right )}+\frac{19}{432} d \tanh ^{-1}\left (\frac{x}{2}\right )-\frac{1}{54} d \tanh ^{-1}(x)-\frac{1}{27} e \operatorname{Subst}\left (\int \frac{1}{-4+x} \, dx,x,x^2\right )+\frac{1}{27} e \operatorname{Subst}\left (\int \frac{1}{-1+x} \, dx,x,x^2\right )\\ &=\frac{d x \left (17-5 x^2\right )}{72 \left (4-5 x^2+x^4\right )}+\frac{e \left (5-2 x^2\right )}{18 \left (4-5 x^2+x^4\right )}+\frac{19}{432} d \tanh ^{-1}\left (\frac{x}{2}\right )-\frac{1}{54} d \tanh ^{-1}(x)+\frac{1}{27} e \log \left (1-x^2\right )-\frac{1}{27} e \log \left (4-x^2\right )\\ \end{align*}
Mathematica [A] time = 0.0548821, size = 90, normalized size = 0.96 \[ \frac{1}{864} \left (\frac{12 \left (d x \left (17-5 x^2\right )+e \left (20-8 x^2\right )\right )}{x^4-5 x^2+4}+8 (d+4 e) \log (1-x)-(19 d+32 e) \log (2-x)-8 (d-4 e) \log (x+1)+(19 d-32 e) \log (x+2)\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.017, size = 122, normalized size = 1.3 \begin{align*} -{\frac{d}{288+144\,x}}+{\frac{e}{144+72\,x}}+{\frac{19\,\ln \left ( 2+x \right ) d}{864}}-{\frac{\ln \left ( 2+x \right ) e}{27}}-{\frac{\ln \left ( 1+x \right ) d}{108}}+{\frac{\ln \left ( 1+x \right ) e}{27}}-{\frac{d}{36+36\,x}}+{\frac{e}{36+36\,x}}-{\frac{19\,\ln \left ( x-2 \right ) d}{864}}-{\frac{\ln \left ( x-2 \right ) e}{27}}-{\frac{d}{144\,x-288}}-{\frac{e}{72\,x-144}}-{\frac{d}{36\,x-36}}-{\frac{e}{36\,x-36}}+{\frac{\ln \left ( x-1 \right ) d}{108}}+{\frac{\ln \left ( x-1 \right ) e}{27}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 0.93689, size = 112, normalized size = 1.19 \begin{align*} \frac{1}{864} \,{\left (19 \, d - 32 \, e\right )} \log \left (x + 2\right ) - \frac{1}{108} \,{\left (d - 4 \, e\right )} \log \left (x + 1\right ) + \frac{1}{108} \,{\left (d + 4 \, e\right )} \log \left (x - 1\right ) - \frac{1}{864} \,{\left (19 \, d + 32 \, e\right )} \log \left (x - 2\right ) - \frac{5 \, d x^{3} + 8 \, e x^{2} - 17 \, d x - 20 \, e}{72 \,{\left (x^{4} - 5 \, x^{2} + 4\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.49327, size = 446, normalized size = 4.74 \begin{align*} -\frac{60 \, d x^{3} + 96 \, e x^{2} - 204 \, d x -{\left ({\left (19 \, d - 32 \, e\right )} x^{4} - 5 \,{\left (19 \, d - 32 \, e\right )} x^{2} + 76 \, d - 128 \, e\right )} \log \left (x + 2\right ) + 8 \,{\left ({\left (d - 4 \, e\right )} x^{4} - 5 \,{\left (d - 4 \, e\right )} x^{2} + 4 \, d - 16 \, e\right )} \log \left (x + 1\right ) - 8 \,{\left ({\left (d + 4 \, e\right )} x^{4} - 5 \,{\left (d + 4 \, e\right )} x^{2} + 4 \, d + 16 \, e\right )} \log \left (x - 1\right ) +{\left ({\left (19 \, d + 32 \, e\right )} x^{4} - 5 \,{\left (19 \, d + 32 \, e\right )} x^{2} + 76 \, d + 128 \, e\right )} \log \left (x - 2\right ) - 240 \, e}{864 \,{\left (x^{4} - 5 \, x^{2} + 4\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] time = 2.65074, size = 604, normalized size = 6.43 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.10026, size = 126, normalized size = 1.34 \begin{align*} \frac{1}{864} \,{\left (19 \, d - 32 \, e\right )} \log \left ({\left | x + 2 \right |}\right ) - \frac{1}{108} \,{\left (d - 4 \, e\right )} \log \left ({\left | x + 1 \right |}\right ) + \frac{1}{108} \,{\left (d + 4 \, e\right )} \log \left ({\left | x - 1 \right |}\right ) - \frac{1}{864} \,{\left (19 \, d + 32 \, e\right )} \log \left ({\left | x - 2 \right |}\right ) - \frac{5 \, d x^{3} + 8 \, x^{2} e - 17 \, d x - 20 \, e}{72 \,{\left (x^{4} - 5 \, x^{2} + 4\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]